#include<bits/stdc++.h>
#define int long long
using namespace std;
char buf[1<<23],*p1=buf,*p2=buf,obuf[1<<23],*O=obuf;
#define getchar() (p1==p2&&(p2=(p1=buf)+fread(buf,1,1<<21,stdin),p1==p2)?EOF:*p1++)
inline int read()
{
    int x=0,f=1;char ch=getchar();
    while(!isdigit(ch)){if(ch=='-') f=-1;ch=getchar();}
    while(isdigit(ch)) x=x*10+(ch^48),ch=getchar();
    return x*f;
}
inline void write(int x)
{
    if(!x)
        putchar('0');
    char F[200];
    int tmp=x>0?x:-x;
    if(x<0)
        putchar('-');
    int cnt=0;
    while(tmp>0)
        F[cnt++]=tmp%10+'0',tmp/=10;
    while(cnt>0)
        putchar(F[--cnt]);
}
const int maxn=3e3+10;
int n,c[91],t[91],w[91];
int m,tot,a[maxn],b[maxn];
int sum,dp[10005];
signed main() 
{
	freopen("book.in","r",stdin);
	freopen("book.out","w",stdout);
	int ans=0;
	cin>>n;
	for(int i=1;i<=n;i++) 
	{
		cin>>c[i];
		sum+=c[i];
	}
	for(int i=1;i<=n;i++) 
		cin>>t[i];
	for(int i=1;i<=n;i++) 
		cin>>w[i];
	cin>>m;
	if(m<=10000) 
	{
		for(int i=1;i<=n;i++) 
		{
			int sum=0;
			for(int j=1;;j*=2) 
			{
				if (sum+j<=c[i]) 
				{
					a[++tot]=j*t[i];
					b[tot]=j*w[i];
					sum+=j;
				} 
				else 
				{
					if(c[i]-sum>0) 
					{
						a[++tot]=(c[i]-sum)*t[i];
						b[tot]=(c[i]-sum)*w[i];
					}
					break;
				}
			}
		}
		for(int i=1;i<=tot;i++) 
			for(int j=m;j>=a[i];j--) 
				dp[j]=max(dp[j],dp[j-a[i]]+b[i]);
		cout<<dp[m]<<'\n';
	}
	return 0;
}
